state@i\\x == y:Idif y = x Top else vartype(i;y) fi 

latex

---

clarification:

es-state-without(es;i;x) == y:Idif y = x Top else es-vartype(es; i; y) fi 

latex

Definitions	x:AB(x), Id, if b t else f fi, a = b, Top, vartype(i;x)
FDL editor aliases	es-state-without